ar X iv : m at h / 05 05 09 6 v 2 [ m at h . A G ] 1 0 M ay 2 00 5 THE PROJECTIVE INVARIANTS OF ORDERED POINTS ONTHE LINE
نویسنده
چکیده
In this paper we study the structure of the graded ring of projective invariants of n ordered points on the projective line CP. A theorem of Kempe (1894) [Ke], see also [Howe] and [KR], states that the graded ring R of projective invariants is generated by elements of lowest degree. We give a new proof of this theorem using a toric degeneration. Our main theorem implies that the ideal of relations in the lowest degree elements is generated by quadratic relations if n is odd and by relations of degrees two, three, and four if n is even. In the course of the proof we show that the relations are obtained by expanding the products of (a larger set of) generators in terms of the basis of semistandard tableaux then making a (unipotent) change of basis to the basis of “normal monomials”, see §9. We also show that R is not a complete intersection except for n ≤ 4 and n = 6.
منابع مشابه
ar X iv : m at h / 05 05 09 6 v 4 [ m at h . A G ] 7 N ov 2 00 5 THE PROJECTIVE INVARIANTS OF ORDERED POINTS ON THE LINE I
In this paper we study the structure of the graded ring of projective invariants of n ordered points on the projective line CP. A theorem of Kempe (1894) [Ke], see also [Howe] and [KR], states that the graded ring R of projective invariants is generated by elements of lowest degree. We give a new proof of this theorem using a toric degeneration. Our main theorem implies that the ideal of relati...
متن کاملar X iv : m at h / 05 05 09 6 v 1 [ m at h . A G ] 5 M ay 2 00 5 THE PROJECTIVE INVARIANTS OF ORDERED POINTS ON THE LINE
In this paper we study the structure of the graded ring of projective invariants of n ordered points on the projective line CP. A theorem of Kempe (1894) [Ke], see also [Howe] and [KR], states that the graded ring R of projective invariants is generated by elements of lowest degree. We give a new proof of this theorem using a toric degeneration. Our main theorem implies that the ideal of relati...
متن کاملar X iv : m at h / 05 05 09 6 v 5 [ m at h . A G ] 1 0 N ov 2 00 5 THE PROJECTIVE INVARIANTS OF ORDERED POINTS ON THE LINE
In this paper we study the structure of the graded ring of pro-jective invariants of n ordered points on the projective line CP 1. A theorem of Kempe (1894) [Ke], see also [Howe] and [KR], states that the graded ring R of projective invariants is generated by elements of lowest degree. We give a new proof of this theorem using a toric degeneration. Our main theorem implies that the ideal of rel...
متن کاملar X iv : m at h / 05 05 51 6 v 1 [ m at h . G N ] 2 4 M ay 2 00 5 HEREDITY OF τ - PSEUDOCOMPACTNESS
S. Garćıa-Ferreira and H. Ohta gave a construction that was intended to produce a τ -pseudocompact space, which has a regular-closed zero set A and a regular-closed C-embedded set B such that neither A nor B is τ pseudocompact. We show that although their sets A, B are not regular-closed, there are at least two ways to make their construction work to give the desired example.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005